MirvKit A framework for compiler and computer architecture research

The MirvKit compiler framework provides a set of abstractions that includes a language for intermediate program representation, compilation methodology and an object model for the implementation. These aspects of the framework were developed concurrently, each influencing the others. A single design pattern emerged from this evolutionary process that forms the core of the compiler. This pattern, known as Attribute Flow, is used for such diverse tasks as dataflow analysis, program transformations, code generation and simulation. This paper explores the main issues behind the design and describes how dataflow analysis and simulation are implemented using attribute propagation.